1. Subsystems of second order arithmetic
المؤلف: Simpson, Stephen George, 5491-
المکتبة: (طهران)
موضوع: ، Predicate calculus
رده :
QA
9
.
35
.
S55
2. Subsystems of second order arithmetic
المؤلف: Simpson, Stephen George, 5491-
المکتبة: (طهران)
موضوع: ، Predicate calculus
رده :
QA
9
.
7
.
S55S8
2009